Probability distribution function

Depending upon which text is consulted, a probability distribution function is any of:

The similar term probability function may mean any of the above and, in addition,